Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
161	Automated Critique of Sketched Mechanisms Add to Reading List Source URL: silccenter.org Language: English - Date: 2010-05-15 15:22:12 Reasoning Cognition Philosophy Logic Classical mechanics Cognitive science Qualitative research Qualitative reasoning Qualitative Reasoning Group Spatialtemporal reasoning Ken Forbus Analogy
162	What Not to Do When Writing an Interpreter for Specialisation Neil D. Jones DIKU, University of Copenhagen e-mail: Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:36 Software engineering Computing Theoretical computer science Logic in computer science Models of computation Programming language semantics Formal methods Subroutines Denotational semantics Semantics Partial evaluation Interpreter
163	C Program Specialization Master’s Thesis (revised version) Lars Ole Andersen DIKU, Department of Computer Science, Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:06 Software engineering Computing Computer programming Logic in computer science Formal methods Programming language implementation Functional languages Programming paradigms Partial evaluation Programming language Operational semantics Functional programming
164	TIP: Tons of Inductive Problems Koen Claessen, Moa Johansson, Dan Ros´en, and Nicholas Smallbone Department of Computer Science and Engineering, Chalmers University of Technology {koen,jomoa,danr,nicsma}@chalmers.se Ab Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-05-06 07:44:21 Software engineering Theoretical computer science Automated theorem proving Mathematics Logic in computer science Functional languages Formal methods Reasoning Satisfiability modulo theories Rippling Automated reasoning IP
165	Refining the Concept of Scientific Inference When Working With Big Data: A Workshop Sponsored by the National Institutes of Health Big Data to Knowledge Initiative and the National Science Foundation June 8-9, 2016 Natio Add to Reading List Source URL: sites.nationalacademies.org Language: English Statistics Logic Knowledge Inductive reasoning Causal inference Reasoning Cosma Shalizi Carnegie Mellon University Inference
166	Applied Ontology–138 DOIAOIOS Press 109 Add to Reading List Source URL: www.thomasebittner.com Language: English - Date: 2012-04-30 16:05:44 Ontology Metaphysics Anatomy Logic Joints Predicate logic Knowledge representation Information science Mereology Mereotopology Synovial fluid Interphalangeal joints of the hand
167	ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2015-02-16 07:08:02 Theoretical computer science Electronic engineering Models of computation Electrical engineering Computer arithmetic Digital electronics Logic gates Reversible computing Thermodynamics Adder Fredkin gate Quantum computing
168	Structural Recursion as a Query Language y Val Breazu-Tannen, Peter Buneman Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104{6389, USA val, peter @cis.upenn.edu Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:16 Mathematics Algebra Mathematical logic Relational model Models of computation Logic in computer science Database theory Lambda calculus Relational algebra Tuple Finitary relation Combinatory logic
169	university of copenhagen department of computer science Faculty of Science Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2014-01-14 07:20:59 Software engineering Computing Theoretical computer science Logic in computer science Compiler construction Programming language implementation Semantics Compiler Eval Denotational semantics Correctness Functional programming
170	An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems Marco Maratea DIST, University of Genova, Viale F. Causa 15, Genova, Italy. Abstract Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-19 04:29:26 Theoretical computer science Automated planning and scheduling Logic in computer science Mathematics Computational complexity theory Boolean algebra Electronic design automation Formal methods Boolean satisfiability problem Maximum satisfiability problem Planning Domain Definition Language Satz

UPDATE